A Distributed Operational Semantics for a Parallel Functional Language

We present an operational semantics for a functional parallel language with explicit process creation and implicit message-passing communication. The semantics is based on a distributed memory model and is effective for investigating the interplay between laziness and eagerness in the language, as well as for measuring speculative parallelism

Continutation Semantics for Parallel Haskell Dialects.

The aim of the present work is to compare, from a formal semantic basis, the different approaches to the parallelization of functional programming languages. For this purpose, we define a continuation semantics model which allows us to deal with side-effects and parallelism. To verify the suitability of our model we have applied it to three programming languages that introduce parallelism in very different ways, but whose common functional kernel is the lazy functional language Haskell

Alternativa a la enseñanza monumentalista: los REI cooperativos

Como contrapunto al monumentalismo tradicional en la enseñanza de las obras matemáticas, la Teoría Antropológica de lo Didáctico propone el paradigma del cuestionamiento del mundo, siendo los recorridos de estudio e investigación el dispositivo que la TAD propone para llevarlo a cabo en las instituciones escolares. Sin embargo, esta implantación del nuevo paradigma encuentra restricciones, en particular de índole metodológica. En el presente trabajo presentamos una propuesta para posibilitar la supervivencia de los REI en una institución con una metodología basada en el aprendizaje cooperativo, y analizamos cómo los REI y el aprendizaje cooperativo pueden complementarse.2017-1

Alternative to monumentality teaching: cooperative REIs

Como contrapunto al monumentalismo tradicional en la enseñanza de las obras matemáticas, la teoría antropológica de lo didáctico (TAD) propone el paradigma del cuestionamiento del mundo, siendo los recorridos de estudio e investigación (REI) los dispositivos que propone para implementarlo en las instituciones escolares. Sin embargo, esta implantación del nuevo paradigma encuentra restricciones, en particular de índole metodológica. En el presente trabajo presentamos una propuesta para posibilitar la supervivencia de los REI en una institución con una metodología basada en el aprendizaje cooperativo, y analizamos cómo los REI y el aprendizaje cooperativo pueden complementarse.2020-2

Construcción de un Modelo Epistemológico de Referencia para la enseñanza de la Geometría elemental en el primer ciclo de la educación secundaria obligatoria en España

Los modelos epistemológicos de referencia (MER en lo sucesivo) permiten incorporar a los problemas docentes la dimensión epistemológica. En el ámbito de la Teoría Antropológica de lo didáctico (TAD en lo sucesivo) la incorporación de esta dimensión es un paso obligado para definir el problema de investigación. Para su enseñanza-aprendizaje, la Geometría, al igual que el resto de saberes que se estudian en una institución escolar, sufre un proceso de transposición didáctica que modifica el saber sabio en saber a enseñar. Para estudiar el saber sabio, antes de que se transforme, el didacta debe reflexionar y explicitar cuál es su interpretación de ese saber matemático y justificar el porqué van a ser estudiados unos objetos matemáticos y no otros. En este trabajo se exponen los sistemas de referencia relativos que se han utilizado para la construcción de un MER para la enseñanza de la Geometría elemental del primer ciclo de secundaria y se detalla, a modo de ejemplo, una posible organización de las praxeologías que dicho MER aborda.2016-1

Relating function spaces to resourced function spaces.

In order to prove the computational adequacy of the (operational)natural semantics for lazy evaluation with respect to a standard denotational semantics, Launchbury defines a resourced denotational semantics. This should be equivalent to the standard one when given infinite resources, but this fact cannot be so directly established, because each semantics produces values in a different domain. The values obtained by the standard semantics belong to the usual lifted function space D = [D → D]⊥, while those produced by the resourced semantics belong to [C → E] where E satisfies the equation E = [[C → E] → [C → E]]⊥ and C (the domain of resources) is a countable chain domain defined as the least solution of the domain equation C = C⊥. We propose a way to relate functional values in the standard lifted function space to functional values in the corresponding resourced function space. We first construct the initial solution for the domain equation E = [[C → E] → [C → E]]⊥ following Abramsky’s construction of the initial solution of D = [D → D]⊥. Then we define a “similarity” relation between values in the constructed domain and values in the standard lifted function space. This relation is inspired by Abramsky’s applicative bisimulation. Finally we prove the desired equivalence between the standard denotational semantics and the resourced semantics for the lazy λ-calculus

Didactic transposition in the teaching of geometry in Spain during the 1960s

En este trabajo teórico se abordan las transformaciones y adaptaciones que se dieron en España en los años 60 para adaptarse al cambio de filosofía que supuso la Matemática Moderna. El cambio en las bases epistemológicas sobre la enseñanza de las Matemáticas se produjo de forma general en el contexto internacional. Sin embargo, el proceso de Transposición Didáctica fue diferente en cada país. El objetivo de nuestra investigación es analizar las restricciones transpositivas que se vivieron en España en los años 60 y ejemplificar el cambio de epistemología a través de textos escolares y disposiciones legales de ese momento histórico. Para llevar a cabo nuestro análisis y reflexión se ha hecho uso de dos herramientas propuestas por la Teoría Antropológica de lo Didáctico: la Transposición Didáctica y los Niveles de Codeterminación. Adicionalmente a estas herramientas se ha realizado una revisión bibliográfica de la legislación y un análisis de distintos materiales escolares del período en cuestión.UDIMA2022-2

Los Recorridos de Estudio e Investigación para la enseñanza de la Geometría en la Educación Secundaria: resultado de una experiencia piloto

Este trabajo, presenta los resultados parciales de una investigación en curso sobre la ecología de los Recorridos de Estudio e Investigación en las instituciones educativas. El estudio valora la idoneidad de los REI como respuesta a las restricciones transpositivas que se dan en la enseñanza de la Geometría, en la Educación Secundaria Obligatoria de la Comunidad de Madrid. La implementación ha sido realizada durante el curso 2015-2016 en un centro concertado de la Comunidad de Madrid, durante un mes, con 27 alumnos de 1o de la ESO durante las clases habituales de la asignatura de Matemáticas. En la actualidad las obras matemáticas que se estudian en las instituciones educativas suelen abusar de una aproximación que no ofrece, ni un sentido, ni una razón de ser, de las obras estudiadas. Esta aproximación a las obras, como si fuesen monumentos 63 , ha sido duramente criticada por la Teoría Antropológica de lo Didáctico. Las obras se ofrecen a los alumnos, por parte del profesor, sin relación entre sí y dentro de un medio muy pobre propuesto únicamente por el docente. A estos problemas, hay que añadir el poco tiempo que se dedica a cada una de ellas, lo que conlleva un aprendizaje muy débil y superficial con pocas interconexiones con otras áreas. En contraposición a este modelo, la TAD plantea los REI. Esta metodología parte de los supuestos de la “pedagogía de investigación” y de “cuestionamiento del mundo” 64 . Mediante esta experiencia, los alumnos han sido participes del estudio de las obras matemáticas, que plantea el currículo, aproximándose a ellas desde su razón de ser y contribuyendo al medio en el que se estudian. Así mismo, el tiempo dedicado es mayor, lo que permite un mayor desarrollo del estudio que permite aprendizajes más profundos. La implementación de un REI, para la enseñanza de la Geometría, en 1o ESO supone el primer trabajo de este tipo realizado en la Comunidad de Madrid y puede abrir la puerta a la experimentación con esta metodología.2015-1

Análisis transpositivo de la enseñanza de la Geometría desde 1953 hasta 2016

El estudio de las condiciones en las que un profesor y un alumno se enfrentan a un saber que se debe enseñar y aprender está muy influido por la sociedad, el tiempo histórico o la institución dónde se realiza. La enseñanza de la Geometría en España ha sufrido profundas transformaciones en los últimos 60 años. El objetivo de esta investigación es hacer visibles esos cambios y comprender en última instancia cómo hemos llegado hasta la situación actual. Para investigar esta dimensión, la Teoría Antropológica de lo Didáctico (TAD) propone la Transposición Didáctica (TD), que postula que las obras que se estudian en la escuela se han generado en la sociedad y que son las necesidades de esta las que condicionan, mediante sucesivas transformaciones, la forma en que las obras socialmente construidas son transmitidas a la escuela. La TD permite explicar el paso del saber sabio presente en las publicaciones científicas de Matemáticas al saber enseñado que se utiliza en los centros de enseñanza.2015-1

A Semantic Framework to Debug Parallel Lazy Functional Languages

It is not easy to debug lazy functional programs. The reason is that laziness and higherorder complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder. In this case, it is important to implement debugging platforms for parallel extensions, but it is also important to provide theoretical foundations to simplify the task of understanding the debugging process. In this work, we deal with the debugging process in two parallel languages that extend the lazy language Haskell. In particular, we provide an operational semantics that allows us to reason about our parallel extension of the sequential debugger Hood. In addition, we show how we can use it to analyze the amount of speculative work done by the processes, so that it can be used to optimize their use of resources